Enseignement de l’éthique : une approche socratique

Test de conformité : une approche algébrique

In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...

Une approche formelle de la reconfiguration dynamique

RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...

Une approche générique de la réécriture

In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...

Fusion de données redondantes : une approche explicative

Résumé. Nous nous intéressons, dans le cadre du projet ANR Qualinca au traitement des données redondantes. Nous supposons dans cet article que cette redondance a déjà été établie par une étape préalable de liage de données. La question abordée est la suivante : comment proposer une représentation unique en fusionnant les "duplicats" identifiés ? Plus spécifiquement, comment décider, pour chaque...

Génération d'indicateurs de maintenance par une approche semi-paramétrique et par une approche markovienne